61. Circuit simulation
پدیدآورنده : / Farid N. Najm
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Electronic circuits, Computer simulation,Electronic circuits, Mathematical models,Integrated circuits, Computer simulation
رده :
TK7867
.
N33
2010
62. Circuit simulation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic circuits ; Computer simulation. ; Electronic circuits ; Mathematical models. ; Integrated circuits ; Computer simulation. ;
63. Circuit simulation with SPICE OPUS :theory and practice
پدیدآورنده : Tuma, Tadej.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، SPICE )Computer file(,، Linear integrated circuits,Computer simulation ، Electronic circuits
رده :
TK
7874
.
654
.
T86
2009
64. 303 Circuits
پدیدآورنده :
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Electronic circuits- Problems, Exercises, etc,Electronics- Problems, Exercises, etc,Integrated circuits- Problems, Exercises, etc,Electronics- Problems, Exersises, etc
رده :
TK7868
.
C5
1988
65. Circuits, interconnections, and packaging for VLSI
پدیدآورنده : Bakoglu, H. B., 8591-
موضوع : ، Integrated circuits- Very large scale integration- Design and construction,، Electronic packaging
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
66. Circuits, interconnections, and packaging for VLST
پدیدآورنده : Bakoglu, H. B.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Very large scale integration - Design and construction ، Integrated circuits,، Electronic packaging
رده :
TK
7874
.
B345
1990
67. Circuts interconnections and Packaging for VLSI
پدیدآورنده : H. B. Bakoglu
موضوع : Integrated circuits--Very large scale integration--Design and construction,Electronic packaging
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
68. Computer Design Aids for VLSI Circuits
پدیدآورنده : \ edited by P. Antognetti, D.O. Pederson, H. De Man
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Large scale integration -- Congresses.,Electronic circuit design -- Computer programs -- Congresses.,مدارهای مجتمع -- مجتمعسازی در مقیاس بزرگ -- کنگره ها
رده :
E-Book
,
69. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: (طهران)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
70. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Fabio Somenzi )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
71. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
72. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
73. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
پدیدآورنده : Rajeev Alur, Thomas A. Henzinger
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
74. Computer design aids for VLSI circuits
پدیدآورنده :
موضوع : ، Integrated circuits-- Very Large scale integration-- Congresses,، Electronic circuit design-- Computer programs-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
75. Contemporary logic design
پدیدآورنده : Randy H. Katz
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (طهران)
موضوع : Electronic digital computers - Circuits - Design,Integrated circuits - Very large scale integration - Design - Data processing,Logic design - Data processing,Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
76. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Electronic digital computers- Circuits- Design,Integrated circuits- Very large scale integration- Design- Data processing,Logic design- Data processing,Computer-aided design
رده :
E-BOOK
77. Contemporary logic design
پدیدآورنده : Randy H. Katz
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Electronic digital computers - Circuits - Design,Integrated circuits - Very large scale integration - Design - Data processing,Logic design - Data processing,Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
78. Contemporary logic design
پدیدآورنده : Katz, Randy H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Circuits -- Design ، Electronic digital computers,Very large scale integration -- Design ، Integrated circuits,Logic design -- Data processing ، Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K36
2005
79. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Electronic digital computers--Circuits--Design,Integrated circuits--Very large scale integration--Design--Data processing,Logic design--Data processing,Computer-aided design
رده :
TK7888
.
4
.
k36
80. Contemporary logic design
پدیدآورنده : Katz, Randy H
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Circuits-- Design,، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K36
1994